本发明是一种PPTL符号模型检测方法,属可信计算领域,本发明使用具有完全正则表达能力的规范语言PPTL描述待验证系统期望性质;使用Kripke结构M=(S,R,L)描述系统模型,借助ROBDD对符号化
申请（专利权）人：
本发明一种用于制备自清洁玻璃的二氧化钛溶胶的制备方法,步骤如下:将钛源在冰水浴中滴定至无水醇类溶剂中得到浓度为0.1-4mol/L的钛离子的醇溶液,按照体积比为2~10:1的比例将双氧水缓慢滴入醇溶液
申请（专利权）人：
本发明涉及一种借助电子控制单元(13、15、17)控制至少一个驱动单元(14、16、18)的方法,该驱动单元驱动至少一个相对于家具本体(2、3)运动的家具部件(4、5),其中,这种方法具有以下步骤:a
申请（专利权）人：
本发明涉及一种能够准确地监测管的末端是否被定位在血管内部的设备(102)。该设备包括配置用于加热所述末端的加热元件(106)和用于生成指示由末端的外部所传递热量的测量信号(114)的传感器布置(110
申请（专利权）人：
本发明涉及心脑血管病的药物领域，具体而言，本发明涉及通式I的新型含吡唑和嘧啶酮结构的化合物及其衍生物和药学上可接受的盐以及制备方法，和具有通式I结构或其药学上可接受的盐在制备治疗Lp-磷脂酶A2相关疾
申请（专利权）人：
本发明描述了用于以迭加了第一电流脉冲的灯电流运行高压气体放电灯的一种方法和电路布置,特别是在用于时序产生合成待显示图像的(原)色彩和可能的白色段的系统中,其中,为了改变或校正图像的色彩和/或亮度性质,
申请（专利权）人：
本发明涉及一种本非酒精的、润肺止咳营养饮料及其制备方法，其是以重量百分比蜜炙款冬花、蜜炙百合、罗汉果、甘草水提液30～40%，莲藕、雪梨、柚子、冰糖汁30～40%，蜂蜜5～15%为主要原料，并辅以稳定
申请（专利权）人：
本发明涉及一种修复涡轮机轮盘或涡轮机轮盘再加工的方法包括:轮缘处的至少一个外部径向突部,其带有轴向通孔以接纳轴向固定销,所述轴向固定销包括头部和带有螺纹部分的柄,所述固定销以其头部按压于突部的一个表面
申请（专利权）人：
一种多面出光的LED灯,涉及一种LED灯。现有LED节能灯大部分为单面和平面出光,制约了LED灯的大范围替换,且功率小,存在安全隐患。本发明特征在于:所述的散热器呈中空柱形,其外侧面设有复数个与散热器
申请（专利权）人：
本发明公开了一种用于低渗油藏高盐采出水处理后回注提高驱油效率的方法，在低渗透高矿化度油田，利用生化处理后回注水中的反硝化菌(以下简称DNB)作为本源菌，投加DNB激活剂使本源菌得以激活，使DNB菌量达
申请（专利权）人：
本发明提供了一种耐熔锌腐蚀Ti-Al-Nb涂层的电火花沉积方法,属于耐腐蚀涂层制备技术领域。其特征是:在氩气保护下,以Ti-Al-Nb合金为旋转电极,利用电火花沉积技术制备耐熔锌腐蚀涂层。电极材料成分
申请（专利权）人：
一种确保特殊分配包装(18)仅能接合适宜分配位置(14)的方法和设备。具体地,该包装和分配设备具有配合的同心环(24、30)(或者其部分)从而阻止不适宜产品的接合和分配。在一个实施方案中,包装(18)
申请（专利权）人：
